101. Logic, automata, and algorithms
پدیدآورنده : / by Mark A. Aiserman ...[et la.]; translated by Scripta Technica, translation editor George M. Mark
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Sequential machine theory,Logic, Symmbolic and mathematical,Algorithms
رده :
629
.
891
Lo
102. Logic, automata, and algorithms,Logika, avtomaty, algoritmy
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory,، Switching theory,، Algorithms
رده :
QA
267
.
5
.
S4
.
L613
103. Logical systems for industrial applications
پدیدآورنده : Jaczewski, Jerzy
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic circuits,، Logic design,، Sequential machine theory,، Digital control systems
رده :
TK
7868
.
L6
.
J3213
104. Logik, Automaten, Algorithmen
پدیدآورنده : Aizerman, M. A.)Mark Aronovich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory,، Switching theory,، Algorithms
رده :
QA
267
.
5
.
S4
.
A35
105. Machine sequentielles
پدیدآورنده : ZAHND,JACQUES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SEQUENTIAL MACHINE THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
267
.
5
.
S4
Z3
1980
106. Mathematial systems theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، System analysis-- Congresses,، Computer simulation,، Sequential machine theory-- Congresses,، Coding theory-- Congresses
رده :
QA
402
.
C56
107. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
108. Mathematical foundations of computer science
پدیدآورنده : Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
109. Mathematical foundations of computer science 1980 : Proceedings of the 9th Symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده : edited by P. Dembinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
88
110. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(
رده :
QA
267
.
5
.
S4
.
S89
1974
111. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
پدیدآورنده : Edited by G. Goos and J. Hartmanis
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages
رده :
QA
267
.
5
.
S4
S89
1975
112. Mathematical systems theory ; proceedings of the international symposium Udine, Italy June 16-27 .1975
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، System analysis - congresses,، Sequential machine theory - congresses,، Coding theory congresses
رده :
QA
402
.
C58
1975
113. #Products of automata
پدیدآورنده : #Ferenc Gecseg
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Sequential machine theory
رده :
#
QA
،#.
S4
,
G38
،#
1986
114. Products of automata
پدیدآورنده : Gecseg, Ferenc
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4
G38
1986
115. Products of automata
پدیدآورنده : Ferenc Gecseg
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Sequential machine theory
رده :
QA
267
.
5
.
S4
,
G38
1986
116. Products of automata
پدیدآورنده : Ferenc Gecseg
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Sequential machine theory
رده :
QA
267
.
5
.
S4
,
G38
1986
117. Products of automata
پدیدآورنده : GECSEG,FERENCE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SEQUENTIAL MACHINE THEORY
رده :
QA
267
.
5
.
S4
G38
118. Quantum cellular automata :
پدیدآورنده : Massimo Macucci, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cellular automata.,Sequential machine theory.,Cellular automata.,COMPUTERS-- Machine Theory.,Sequential machine theory.
رده :
QA267
.
5
.
C45
Q83
2006eb
119. Rational series and their languages
پدیدآورنده : Berstel, Jean
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4
B47
1988
120. Rational series and their languages
پدیدآورنده : / Jean Berstel, Christophe Reutenauer
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Sequential machine theory,Formal languages,Power series
رده :
QA267
.
5
.
S4
,
B4713
1988